Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🛡️seL4
Game Theory at Work: When to Talk and When to Shut Up
swaits.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
GitHub All-Stars: deepagents - Architecture of Deep Reasoning for Agentic AI
virtuslab.com·2h·
Discuss: r/programming
🔄Finite State Machines
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·2d·
Discuss: Hacker News
🔍Formal Verification
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Inquiries-Week 4: Triangulate the Triangle
fractalkitty.com·19h·
Discuss: Hacker News
✓Automated Theorem Proving
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·1h·
Discuss: Substack
🔬Static Analysis
The Grammar According to West
dwest.web.illinois.edu·4h·
Discuss: Hacker News
➡️Category Theory
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
Apple study shows LLMs also benefit from the oldest productivity trick in the book
9to5mac.com·1d
🍎Apple
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Show HN: Sudecku – A Deck-Building Sudoku (For iOS)
news.ycombinator.com·11h·
Discuss: Hacker News
🍎Apple
Clay Shirky: The Only Real Solution to the A.I. Cheating Crisis
nytimes.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·8h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pub·1d·
Discuss: Hacker News
✓Automated Theorem Proving
[article/handbook] "Engineered for Confidence" - a 3 Part handbook on Unit Tests!
medium.com·1d·
Discuss: r/programming
🧪Property-Based Testing
Making Games in Go: 3 Months Without LLMs vs. 3 Days with LLMs
marianogappa.github.io·3d·
Discuss: Hacker News, r/programming
🐫OCaml
Show HN: A math tutor that won't hallucinate answers (ChatGPT and Photomath)
thinkercan.com·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Music to Break Models By
matthodges.com·1d·
Discuss: Hacker News
🛡️seL4